例句與造句

1. They cite in their paper Lanfords computer assisted proof.
2. Lyubich published in 1999 the first not computer assisted proof which also establishes hyperbolicity.
3. The "'CAPD library "'( "'Computer Assisted Proofs in Dynamics "') is a software chaotic dynamics, bifurcations, heteroclinic / homoclinic solutions and periodic orbits.
4. It's difficult to find computer assisted proof in a sentence. 用computer assisted proof造句挺難的